Translation's Representations

Measurement representations of ordered, relational structures with archimedean ordered translations

© Centre d’analyse et de mathématiques sociales de l’EHESS, 1988, tous droits réservés. L’accès aux archives de la revue « Mathématiques et sciences humaines » (http://msh.revues. org/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal. php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou...

Translations

A framework for good SAT translations, with applications to CNF representations of XOR constraints

We present a general framework for “good CNF-representations” of boolean constraints, to be used for translating decision problems into SAT problems (i.e., deciding satisfiability for conjunctive normal forms). We apply it to the representation of systems of XOR-constraints (“exclusive-or”), also known as systems of linear equations over the two-element field, or systems of parity constraints, ...

The Parallel Meaning Bank: Towards a Multilingual Corpus of Translations Annotated with Compositional Meaning Representations

The Parallel Meaning Bank is a corpus of translations annotated with shared, formal meaning representations comprising over 11 million words divided over four languages (English, German, Italian, and Dutch). Our approach is based on cross-lingual projection: automatically produced (and manually corrected) semantic annotations for English sentences are mapped onto their word-aligned translations...

Possible - Translations

This text aims at providing a bird's eye view of possible-translations semantics ([10, 24]), defined, developed and illustrated as a very comprehensive formalism for obtaining or for representing semantics for all sorts of logics. With that tool, a wide class of complex logics will very naturally turn out to be (de)composable by way of some suitable combination of simpler logics. Several exampl...